hilbert-style deduction system中文是什么意思

• 希尔伯特风格演绎系统
• 希尔伯特演绎系统

• "style"中文翻译    n. ＝stile.
• "deduction"中文翻译    n. 1.扣除，折扣。 2.扣除额，折扣额。 3.推论， ...
• "system"中文翻译    n. 1.体系，系统；分类法；组织；设备，装置。 2.方 ...
• "deduction system" 中文翻译 :    演绎系统
• "backward deduction system" 中文翻译 :    后向演绎系统; 向后演绎系统
• "completeness of deduction system" 中文翻译 :    演绎系统完备性; 演绛系统完备性
• "forward deduction system" 中文翻译 :    正向演译系统
• "natural deduction system" 中文翻译 :    自然演绎系统
• "procedural deduction system" 中文翻译 :    过程演绎系统
• "rule based deduction system" 中文翻译 :    基于规则的演绎系统
• "rule-based deduction system" 中文翻译 :    基于规则的演译系统; 基于规则的演绎系统
• "standard deduction system" 中文翻译 :    标准演绎系统
• "hilbert" 中文翻译 :    希耳伯特; 希尔波特; 希尔伯特; 伊尔贝
• "backward rule-based deduction system" 中文翻译 :    基于反向规则的演绎系统
• "forward rule-based deduction system" 中文翻译 :    基于规则的正向演绎系统, 正向规则演绎系统
• "deduction" 中文翻译 :    n. 1.扣除，折扣。 2.扣除额，折扣额。 3.推论，推定；【逻辑学】演绎法 (opp. induction)。
• "free style road system" 中文翻译 :    自由式道路系统
• "mixed style road system" 中文翻译 :    混合式道路系统
• "hilbert-basis hilbert basis" 中文翻译 :    希耳伯特基
• "hilbert-funktion hilbert function" 中文翻译 :    希耳伯特函数
• "hilbert-kurve hilbert curve" 中文翻译 :    希耳伯特曲线
• "hilbert-matrix hilbert matrix" 中文翻译 :    希耳伯特矩阵
• "hilbert-polynom hilbert polynomial" 中文翻译 :    希耳伯特多项式
• "hilbert-raum hilbert space" 中文翻译 :    希耳伯特空间
• "hilbert-symbol hilbert symbol" 中文翻译 :    希耳伯特符号